body {
  font-family: verdana, sans-serif;
  font-size: 14px;
  margin: 8px;
}

a {
  color: #11c;
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

tt {
  color: #080;
  font-family: monospace;
}

a tt {
  color: #11c;
}

#content {
  margin: 0 20px;
}

#title {
  font-family: georgia, serif;
  font-size: 28px;
  margin: 20px;
  text-align: center;
}

#footer {
  border-top: 1px solid #999;
  margin: 1em 0;
  padding-top: 4px;
}

.section-title {
  background-color: #adf;
  font-family: georgia, serif;
  font-size: 18px;
  margin: 1em -20px;
  padding: 4px;
}

.subsection-title {
  border-bottom: 1px solid #bbb;
  margin-bottom: 6px;
  margin-top: 1em;
}

.subsection {
  margin-bottom: 1em;
  margin-left: 20px;
}

.prettyprint {
  background-color: #e5e5e5;
  border: 1px solid #999 !important;
  margin: 1em 0;
  overflow: auto;
  width: 700px;
  padding: 8px !important;
}

/**
 * Note: For .toggle-clickable divs, we set display to inline-block so that they
 * take on the width of their contents, and then wrap them in .toggle-row divs
 * so that they take up entire rows.
 */
.toggle-row {
  margin: 1em 0;
}

.toggle-clickable {
  cursor: pointer;
  display: inline-block;
}

.toggle-icon {
  display: inline-block;
  vertical-align: middle;
  height: 12px;
  width: 12px;
}

.toggle-text {
  display: inline-block;
  margin-left: 4px;
  vertical-align: middle;
}

.toggle-value {
  display: none;
}
